61. An introduction to formal specification and Z
پدیدآورنده: Potter, Ben.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Development ، Computer software,، Z )Computer program language(
رده :
QA
76
.
76
.
D47
P68
1991
62. An introduction to formal specification and Z
پدیدآورنده: / Ben Potter, John Sinclair and David Till
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer software--Development.,Z (Computer program language)
رده :
QA
76
.
76
.
D47P68
1996
66. BL,BL
پدیدآورنده: / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
67. Chemoinformatics :
پدیدآورنده: editors Johann Gasteiger, Thomas Engel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemia -- informatyka.
رده :
QD39
.
3
.
E46
E358
2004
68. Concise guide to software engineering :
پدیدآورنده: Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Software engineering.,Software engineering.
رده :
QA76
.
758
.
O66
2017
69. Concise guide to software engineering :
پدیدآورنده: Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Software engineering.,Software engineering.
رده :
QA76
.
758
70. Expanding museum studies : an introduction / Sharon Macdonald -- Cultural theory and museum studies / Rhiannon Mason -- Sociology and the social aspects of museums / Gordon Fyfe -- Art history and museology : rendering the visible legible / Donald Preziosi -- Museums and anthropologies : practices and narratives / Anthony Alan Shelton -- Collecting practices / Sharon Macdonald -- The conundrum of ephemerality : time, memory, and museums / Susan A. Crane -- The origins of the public museum / Jeffrey Abt -- World fairs and museums / Robert W. Rydell
پدیدآورنده: edited by Sharon Macdonald.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
71. FM '99 - formal methods / 2.
پدیدآورنده: Jeannette M. Wing ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
72. Formal specification and documentation Using Z: a case study approach
پدیدآورنده: Bowen, Jonathan Peter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Z )Computer program language(,، System design,Development ، Computer software,، Software documentation
رده :
QA
76
.
73
.
Z2
B68
1996
73. Formal specification and documentation using Z : a case study approach
پدیدآورنده: Bowen, Jonathan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Z )Computer program language( , Computer software - Development
رده :
QA
76
.
73
.
Z2
B68
1996
74. Formal specification using Z: a modelling approach
پدیدآورنده: Bottaci, Leonardo
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Z )Computer program language( , Computer Software - Development
رده :
QA
76
.
73
.
Z2
B67
1995
75. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده: Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
76. 20090601 ,Includes bibliographical references and index. 0
پدیدآورنده: 20090602 ,20090602 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
77. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده: Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
78. Includes bibliographical references (p. 375) and index. 0
پدیدآورنده: Brian M. Fagan.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
79. Includes bibliographical references (p. 225-231) and index. 0
پدیدآورنده: Andrew Green.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
80. Introducing TPCK / Matthew J. Koehler and Punya Mishra -- Bridging digital and cultural divides: TPCK for equity of access to technology / Mario Antonio Kelly -- TPCK in K-6 literacy education: it's not that elemen
پدیدآورنده: edited by AACTE Committee on Innovation and Technology.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
